乌江流域大型复杂水电站群联合优化调控关键技术及其应用研究

根据乌江流域总体规划、长江三峡以上防洪要求、南方电网运行特点、乌江流域水文特性等,贵州乌江水电开发有限责任公司组织开展了乌江梯级水库优化调度和发电优化控制的基本理论研究,并根据该研究建立了乌江流域水电站群联合优化调控系统,经过一系列优化调度规则、方法、措施在系统中的应用,实现了节水增发电的目的,取得了良好的社会经济效益。     

数字电视测试信号

本文指出生成视频数字电视测试信号需逐个像素计算各分量信号值，为此建立了它们的数学模型，并用计算机予以实现。与传统方法相比，更加精确，便于应用、修改、增删、存储和交换。本文还提出和生成了测试数字电视或二维、三维信号处理电路性能的测试信号。     

Action semantics-directed prototyping

We present a methodology for compiler synthesis based on Mosses-Watt's action semantics. Each action in action semantics notation is assigned specific “analysis functions”, such as a typing function and a binding-time function. When a language is given an action semantics, the typing and binding-time functions for the individual actions compose into typing and binding-time analyses for the language; these are implemented as the type checker and static semantics processor, respectively, in the synthesized compiler. Other analyses can be similarly formalized and implemented. We show a sample language semantics and its synthesized compiler, and we describe the compiler synthesizer that we have developed.     

A calibration method for the energy-integrating function in photovoltaic system monitoring

Solar radiation has an irregularly varying factor due to a basic day and night cycle and climatic conditions. For such conditions a data sampling interval is important to ensure the accuracy of energy monitoring in a photovoltaic system. While treating a system monitoring equipment as a black box. the author has developed the method of calibrating an energy-integrating function. At first for various input waveforms, the relationship between sampling intervals and quasi-integration outputs have been examined by trapezoidal rule. In the numerical simulation the phases of the sampling clock also are considered Then it is concluded that a sampling interval can be inspected through outside observation only by using a rectangular single pulse. By applying the pulse to the energy-integrating process, two kinds of integrated outputs can be obtained for different sampling phases. The calculated difference between both outputs can uniquely give the sampling interval being inspected. Conditions to ensure measuring accuracy are discussed and the validity of this method has been demonstrated experimentally. Practical calibrating procedures also are proposed for the integrating function of PV system monitoring.     

A singular loop transformation framework based on non-singular matrices

In this paper, we discuss a loop transformation framework that is based on integer non-singular matrices. The transformations included in this framework are called Λ-transformations and include permutation, skewing and reversal, as well as a transformation calledloop scaling. This framework is more general than existing ones; however, it is also more difficult to generate code in our framework. This paper shows how integer lattice theory can be used to generate efficient code. An added advantage of our framework over existing ones is that there is a simple completion algorithm which, given a partial transformation matrix, produces a full transformation matrix that satisfies all dependences. This completion procedure has applications in parallelization and in the generation of code for NUMA machines. This work was supported by the Cornell Theory Center, NSF Presidential Young Investigator award #CCR-8958543. by NSF Grant #CCR-9008526, and by a grant from the Hewlett-Packard Company.     

视觉技术在YP19装封箱机中的设计与应用

介绍视觉技术在YP19装封箱机的装箱过程中的应用,简述视觉技术系统的基本组成、工作原理及软件设计。     

Exact probabilistic testability measures for multi-output circuits

The computation of probabilistic testability measures has become increasingly important and some methods have been proposed, although the exact solution of the problem is NP-hard. An exact analytical method for singleoutput combinational circuits is extended to deal with multi-output circuits. Such circuits are reduced to singleoutput ones by introducing a dummy gate, the X-gate, and applying to the resulting graph the analysis based on supergates.     

Why does language matter to artificial intelligence?

Artificial intelligence, conceived either as an attempt to provide models of human cognition or as the development of programs able to perform intelligent tasks, is primarily interested in theuses of language. It should be concerned, therefore, withpragmatics. But its concern with pragmatics should not be restricted to the narrow, traditional conception of pragmatics as the theory of communication (or of the social uses of language). In addition to that, AI should take into account also the mental uses of language (in reasoning, for example) and the existential dimensions of language as a determiner of the world we (and our computers) live in. In this paper, the relevance of these three branches of pragmatics-sociopragmatics, psychopragmatics, and ontopragmatics-for AI are explored.     

改进的形态学运算在声纳图像生成中的应用

声纳技术应用日益广泛,已成为海洋测量的重要工具,而去除噪声处理是对声纳图像进行正确判读的前提,本文采用了改进的形态学算法减少声纳图像中噪声的影响,对图像进行预处理,采用Matlab图形图像处理工具对处理的算法进行仿真的方式,从而使处理效果达到最佳。